Insup Lee: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (12)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Handbook of Real-Time and Embedded Systems

Handbook of Real-Time and Embedded Systems

Chapman and Hall/CRC

Insup Lee, Joseph Y-T. Leung, Sang H. Son

Рік:

2007

Мова:

english

Файл:

PDF, 7.77 MB

0 / 0

english, 2007

2

Handbook of Real-Time and Embedded Systems (Chapman & Hall CRC Computer & Information Science Series)

Handbook of Real-Time and Embedded Systems (Chapman & Hall CRC Computer & Information Science Series)

Chapman and Hall/CRC

Insup Lee, Joseph Y-T. Leung, Sang H. Son

Рік:

2007

Мова:

english

Файл:

PDF, 6.82 MB

0 / 0

english, 2007

3

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 5.68 MB

0 / 0

english, 2008

4

Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings

Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Alan Burns, Guillem Bernat, Ian Broster (auth.), Rajeev Alur, Insup Lee (eds.)

Рік:

2003

Мова:

english

Файл:

PDF, 4.40 MB

0 / 0

english, 2003

5

Handbook of Real-Time and Embedded Systems

Handbook of Real-Time and Embedded Systems

Chapman and Hall/CRC

Insup Lee, Joseph Y-T. Leung, Sang H. Son

Рік:

2007

Мова:

english

Файл:

EPUB, 1.71 MB

0 / 0

english, 2007

6

Handbook of Real-Time and Embedded Systems

Handbook of Real-Time and Embedded Systems

Chapman and Hall/CRC

Insup Lee, Joseph Y-T. Leung, Sang H. Son

Рік:

2007

Мова:

english

Файл:

PDF, 7.78 MB

0 / 0

english, 2007

7

CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.)

Рік:

1995

Мова:

english

Файл:

PDF, 9.01 MB

0 / 0

english, 1995

8

CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.)

Рік:

1995

Мова:

english

Файл:

DJVU, 4.89 MB

0 / 0

english, 1995

9

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 6.93 MB

0 / 0

english, 2010

10

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 7.31 MB

0 / 0

english, 2008

11

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 6.78 MB

0 / 0

english, 2010

12

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 6.98 MB

0 / 0

english, 2010